An 86-year-old man presented to our hospital with symptoms of diarrhea and bloody stool, which had manifested two weeks after receiving his third severe acute respiratory syndrome coronavirus 2 mRNA vaccination. Colonoscopy revealed diffuse, rough-surfaced mucosa extending from the ascending colon to the rectum. Despite attempting probiotic treatment, the patient's condition did not improve, leading to admission. Endoscopic findings at admission worsened. Based on endoscopic and histopathological findings, the patient was diagnosed with ulcerative colitis. Corticosteroids and 5-aminosalicylic acid were administered, and the clinical symptoms improved. Subsequently, the disease worsened during steroid tapering, and filgotinib was added, leading to steroid-free remission.

Most VR applications in the field of architecture are based on visual information only, and the addition of auditory information is expected to provide a more realistic representation. In order to provide a comfortable VR experience, discomfort due to inconsistencies between visual and auditory information should not occur. The aim of this study is to propose a reverberation time that matches the visual aspect of the architectural space displayed in VR using panoramic photographs. Subjective experiments were conducted on 15 virtual spaces created from panoramic photographs of architectural spaces to determine a reverberation time that matches the visual aspect of these spaces and to subjectively evaluate the visual impressions. Based on the results, several models of reverberation time to match the visual aspect of the architectural space displayed in VR using panoramic photographs were created. The results of this experiment showed that the model using the volume of the virtual spaces was appropriate.

The emergence of new biodegradable cell-adhesion materials is an attractive topic in biomaterial chemistry, particularly for the development of cell incubation scaffolds and drug encapsulation materials used in in situ regenerative therapy. Shellac is a natural resin with unique film-forming properties and high miscibility with various chemicals, in addition to being biodegradable and nontoxic to biological systems. However, since native shellac does not adhere to mammalian cells, there have been no reports of using shellac to develop cell-adhesive biomaterials. In this study, we report on the development of cell-adhesive shellac derivatives through slight chemical modification. Shellac is a mixture of oligoesters that consists of hydroxyl fatty acids and resin acids, and therefore, all oligomers have one carboxylic acid group at the terminal. We discovered that a simple modification of hydrophobic chemical groups, particularly those containing aromatic groups in the ester form, could dramatically improve cell-adhesion properties for mammalian cells. Furthermore, by using photocleavable esters containing aromatic groups, we successfully endowed photoswitchable properties in cell adhesion. Given that shellac is a low-cost, biodegradable, and nontoxic natural resin, the modified shellacs have the potential to become new and attractive biomaterials applicable to in situ regenerative therapy.

Characteristics of the early current quench (CQ) time in mitigated disruptions are studied for a full-current (5.5 MA) scenario in the JT-60SA superconducting tokamak. Self-consistent evolution of the plasma temperature and current density profiles during the early CQ phase before the plasma moves vertically is simulated using the axisymmetric disruption code INDEX for given impurity source profiles. It is shown that the hollow (flat) impurity density profiles peaks (flattens) the current density, and it causes a temporal change in the internal inductance in this phase. However the resultant CQ time is found to be insensitive to the impurity source profile for the same assimilated quantity. The simulation results are interpreted by the L/R model including the temporal change in the internal inductance as well as the effect of a gap between the plasma and the conducting vessel structures and stabilizing plates. This results will improve the accuracy to estimate the amount of impurity assimilated into plasma from the observed CQ rate in the massive gas injection (MGI) experiment planned in JT-60SA. The accessible range in which the CQ time can be scanned as well as the electron densities to suppress runaway electrons is also shown for different injected amounts of neon, argon, and their deuterium mixture under the limitation of the MGI gas amount. Mitigated disruptions in JT-60SA typically lead to the CQ time shorter than the vessel wall time, which is expected to produce relevant contributions to disruption mitigation in ITER and future reactors.

Summary We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a continuous function of two variables coincides with the Riemann iterated integral of a projective function.

Summary In this paper, we introduce indefinite integrals [8] (antiderivatives) and proof integration by substitution in the Mizar system [2], [3]. In our previous article [15], we have introduced an indefinite-like integral, but it is inadequate because it must be an integral over the whole set of real numbers and in some sense it causes some duplication in the Mizar Mathematical Library [13]. For this reason, to define the antiderivative for a function, we use the derivative of an arbitrary interval as defined recently in [7]. Furthermore, antiderivatives are also used to modify the integration by substitution and integration by parts. In the first section, we summarize the basic theorems on continuity and derivativity (for interesting survey of formalizations of real analysis in another proof-assistants like ACL2 [12], Isabelle/HOL [11], Coq [4], see [5]). In the second section, we generalize some theorems that were noticed during the formalization process. In the last section, we define the antiderivatives and formalize the integration by substitution and the integration by parts. We referred to [1] and [6] in our development.

Summary This paper introduces multidimensional measure spaces and the integration of functions on these spaces in Mizar. Integrals on the multidimensional Cartesian product measure space are defined and appropriate formal apparatus to deal with this notion is provided as well.

Summary This article generalizes the differential method on intervals, using the Mizar system [2], [3], [12]. Differentiation of real one-variable functions is introduced in Mizar [13], along standard lines (for interesting survey of formalizations of real analysis in various proof-assistants like ACL2 [11], Isabelle/HOL [10], Coq [4], see [5]), but the differentiable interval is restricted to open intervals. However, when considering the relationship with integration [9], since integration is an operation on a closed interval, it would be convenient for differentiation to be able to handle derivates on a closed interval as well. Regarding differentiability on a closed interval, the right and left differentiability have already been formalized [6], but they are the derivatives at the endpoints of an interval and not demonstrated as a differentiation over intervals. Therefore, in this paper, based on these results, although it is limited to real one-variable functions, we formalize the differentiation on arbitrary intervals and summarize them as various basic propositions. In particular, the chain rule [1] is an important formula in relation to differentiation and integration, extending recent formalized results [7], [8] in the latter field of research.

To efficiently assess the mechanical reliability and long-term durability of solid oxide fuel cells (SOFCs) and solid oxide electrolyser cells (SOECs), a suitable creep test method and prediction of the material response is necessary. This study investigates the effectiveness of the small punch (SP) testing method for Ni–YSZ composites and in rapidly determining the constitutive creep law for SOFC materials. The creep properties of Ni–YSZ composites are evaluated under a 1% H2 environment at temperatures of 800–900 °C and stresses of 36–58 MPa. The finite element method is used to simulate the SP tests and generate numerical creep curves. These curves are fitted to the experimental curves to obtain the parameter set in the creep constitutive law of the strain hardening model. The numerical and experimental creep curves are well-fitted with only a 0.44% difference and convergent parameter sets equal to C1=1.0× 10−12, C2=1.03, C3 = -1.70, C4=96.78 in the strain hardening law, indicating the usefulness of the SP method and creep constitutive law for characterising and predicting the creep properties of SOFC constituent materials. This study highlights the importance of accurate characterisation of creep properties for predicting the long-term performance and reliability of SOFCs.